1、
这里唯一需要解释的语义是解析类属性的规则。
互联网摘选
2、
Flow Document的功能对随窗口大小，内容语义（semantics），以及应用的设备分辨率之不同而重新流动内容提供了自动支持。
互联网摘选
3、
由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。
互联网摘选
4、
从理论和实现的角度，探讨了一个用户界面工具环境的设计，为解决界面与应用语义的适当分离提供一种可行方案。
互联网摘选
